alive($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($X$$\mid\neg$fail{-}dcdr\{i:l\}(${\it es}$;${\it Fail}$))